منابع مشابه
Construction d''une mémoire de projet en ingénierie mécanique utilisant les technologies web
Current CAD systems only consider the geometric modelling of product. Then an efficient support can be provided by a consideration of the all product development process and all its handled data. An interested solution can be the use of corporate memory. Thus, the designers could benefit of a tool integrating knowledge issued by projects developed in the company. In practice, the development of...
متن کاملMémoire d ' Habilitation à Diriger les Recherches
Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...
متن کاملReprésentation des connaissances dans une mémoire de projet
RÉSUMÉ. Une mémoire de projet est une représentation de l’expérience acquise pendant la réalisation de projets (Dieng et al., 1998). Elle peut être obtenue à travers une capitalisation au fil de l’eau de l’activité de l’entreprise, notamment de la logique de conception (design rationale). La plupart des méthodes définies à ce propos ne permettent pas une structuration en temps réel de la logiqu...
متن کاملDécomposition arborescente et cohérence locale souple dans les CSP pondérés
Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d’une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratiqu...
متن کاملUn nouvel algorithme de consistance locale sur les nombres flottants
Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cahiers des Amériques latines
سال: 2007
ISSN: 1141-7161,2268-4247
DOI: 10.4000/cal.2157